A logically sound method for uncertain
نویسنده
چکیده
Conditionals play a central part in knowledge representation and reasoning. Describing certain relationships between antecedents and consequences by \if{then{sentences" their range of expressiveness includes commonsense knowledge as well as scientiic statements. In this paper, we present the principles of maximum entropy resp. of minimum cross-entropy (ME-principles) as a logically sound and practicable method for representing and reasoning with quantiied conditionals. First the meaning of these principles is made clear by sketching a characterization from a completely conditional-logical point of view. Then we apply the techniques presented to derive ME{deduction schemes and illustrate them by examples in the second part of this paper.
منابع مشابه
Reasoning with Knowledge, Action and Time in Dynamic and Uncertain Domains
We propose a new framework for reasoning about knowledge, action and time for domains that include actions with non-deterministic and contextdependent effects. The axiomatization is based on the Event Calculus and combines the expressiveness of possible worlds semantics with the efficiency of approaches that dispense the use of the accessibility relation. The framework is proved logically sound...
متن کاملDevelopment of RMPC Algorithm for Compensation of Uncertain Time-Delay and Disturbance in NCS
In this paper, a synthesis method based on robust model predictive control is developed for compensation of uncertain time-delays in networked control systems with bounded disturbance. The proposed method uses linear matrix inequalities and uncertainty polytope to model uncertain time-delays and system disturbances. The continuous system with time-delay is discretized using uncertainty po...
متن کاملEfficient execution in an automated reasoning environment
We describe a method to permit the user of a mathematical logic to write elegant logical definitions while allowing sound and efficient execution. We focus on the ACL2 logic and automated reasoning environment. ACL2 is used by industrial researchers to describe microprocessor designs and other complicated digital systems. Properties of the designs can be formally established with the theorem pr...
متن کاملUsing Tracking Differentiators in Designing Nonlinear Disturbance Observers for Uncertain Systems
Using Tracking Differentiators in Designing Nonlinear Disturbance Observers for Uncertain SystemsNaser Kazemzadeh, Saeed BarghandanAbstractIn the present paper, a practical designing method has been proposed for a novel class of NDOs based on TD. Such NDOs can nearly estimate all uncertain disturbances (specifically disturbances without prediction information). Regarding the outstanding perform...
متن کاملA new method for acquisition and analysis of single unit recording data
Single unit recording has been used as a well-known technique to study the electrical behavior of neurons. In this respect, the classical methods are rather expensive. In this study a simple and inexpensive method for single unit recording studies has been introduced. Computer sound card was used for data acquisition. Neural responses were saved via simple sound applicable packages and then ana...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997